Contents: Preliminaries; The logic of truth functional connectives; The first order logic of extensional predicates, operators, and quantifiers. Lecture Notes Collection FreeScience.info ID2153 Obtained from http://www.pitt.edu/~belnap/nsl.pdf http://www.freescience.info/go.php?pagename=books&id=2153 Topics: Logic, "
byKeynes, John Neville, 1852-1949; Sage School of Philosophy. fmo
The metadata below describe the original scanning. Follow the "All Files: HTTP" link in the "View the book" box to the left to find XML files that contain more metadata about the original images and the derived formats (OCR results, PDF etc.). See also the What is the directory structure for the texts? FAQ for information about file content and naming conventions. Topic: Logic